Nuprl Lemma : mklnk-wf-test 11,40
lnk1{a to b}  IdLnk 
latex

DefinitionsIdLnk, lnk$n{$a to $b}, <a, b>, Id, "$x", t  T

origin